Manuel V. Hermenegildo (eds.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

წელი:

2023

ენა:

english

ფაილი:

PDF, 25.08 MB

0 / 5.0

english, 2023

2

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Springer Nature

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

წელი:

2023

ენა:

english

ფაილი:

EPUB, 41.26 MB

0 / 0

english, 2023

3

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 2.46 MB

0 / 0

english, 2000

4

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 5.29 MB

0 / 0

english, 2002

5

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 4.28 MB

0 / 0

english, 2000

6

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 2.34 MB

0 / 0

english, 2003

7

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 3.24 MB

0 / 0

english, 2000

8

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 6.30 MB

0 / 0

english, 2002

9

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 4.36 MB

0 / 0

english, 1994

10

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 4.13 MB

0 / 0

english, 1995

11

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 1.74 MB

0 / 0

english, 2003

12

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.07 MB

0 / 0

english, 2008

13

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.86 MB

0 / 0

english, 2008

14

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.09 MB

0 / 0

english, 2010

15

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)

წელი:

2005

ენა:

english

ფაილი:

DJVU, 2.43 MB

0 / 0

english, 2005